2 00 3 Category of A ∞ - categories

نویسنده

  • Volodymyr Lyubashenko
چکیده

We define natural A ∞ -transformations and construct A ∞ -category of A ∞ -functors. The notion of non-strict units in an A ∞ -category is introduced. The 2-category of (unital) A ∞ -categories, (unital) functors and transformations is described. The study of higher homotopy associativity conditions for topological spaces began with Stasheff’s article [Sta63, I]. In a sequel to this paper [Sta63, II] Stasheff defines also A∞-algebras and their homotopy-bar constructions. These algebras and their applications to topology were actively studied, for instance, by Smirnov [Smi80] and Kadeishvili [Kad80, Kad82]. We adopt some notations of Getzler and Jones [GJ90], which reduce the number of signs in formulas. The notion of an A∞-category is a natural generalization of A∞-algebras. It arose in connection with Floer homology in Fukaya’s work [Fuk93, Fuk] and was related by Kontsevich to mirror symmetry [Kon95]. See Keller [Kel01] for a survey on A∞-algebras and categories. In the present article we show that given two A∞-categories A and B, one can construct a third A∞-category A∞(A,B) whose objects are A∞-functors f : A → B, and morphisms are natural A∞-transformations between such functors. This result was also obtained by Fukaya [Fuk] and by Kontsevich and Soibelman [KS], independently and, apparently, earlier. We describe compositions between such categories of A∞-functors, which would allow us to construct a 2-category of unital A∞-categories. The latter notion is our generalization of strictly unital A∞-categories (cf. Keller [Kel01]). We also discuss unit elements in unital A∞-categories, unital natural A∞-transformations, and unital A∞-functors. Institute of Mathematics, National Academy of Sciences of Ukraine, 3 Tereshchenkivska st., Kyiv-4, 01601 MSP, Ukraine The research was supported in part by grant 01.07/132 of State Fund for Fundamental Research of Ukraine

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

2 3 M ay 2 00 7 Braid cobordisms , triangulated categories , and flag varieties Mikhail Khovanov and Richard

We argue that various braid group actions on triangulated categories should be extended to projective actions of the category of braid cobordisms and illustrate how this works in examples. We also construct actions of both the affine braid group and the braid cobordism category on the derived category of coherent sheaves on the cotangent bundle to the full flag variety.

متن کامل

2 3 M ay 2 00 7 From triangulated categories to abelian categories – cluster tilting in a general framework

A general framework for cluster tilting is set up by showing that any quotient of a triangulated category modulo a tilting subcategory (that is, a maximal oneorthogonal subcategory) carries an induced abelian structure. These abelian quotients turn out to be module categories of Gorenstein algebras of dimension at most one.

متن کامل

Restriction categories I: categories of partial maps

Given a category with a stable system of monics, one can form the corresponding category of partial maps. To each map in this category there is, on the domain of the map, an associated idempotent, which measures the degree of partiality. This structure is captured abstractly by the notion of a restriction category, in which every arrow is required to have such an associated idempotent. Categori...

متن کامل

Fixpoint operators for domain equations

We investigate /xpoint operators for domain equations. It is routine to verify that if every endofunctor on a category has an initial algebra, then one can construct a /xpoint operator from the category of endofunctors to the category. That construction does not lift routinely to enriched categories, using the usual enriched notion of initiality of an endofunctor. We show that by embedding the ...

متن کامل

2 3 M ar 2 00 4 RINGS , MODULES , AND ALGEBRAS IN INFINITE LOOP SPACE THEORY

We give a new construction of the algebraic K-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and output. This requires us to define multiplicative structure on the category of small permutative categories. The framework we use is the concept of multicategory, a ...

متن کامل

N ov 2 00 3 External tensor product of categories of perverse sheaves

Under some assumptions we prove that the Deligne tensor product of categories of constructible perverse sheaves on pseudomanifolds X and Y is the category of constructible perverse sheaves on X × Y . The Deligne external tensor product functor is identified with the geometrical external tensor product.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008